基于本体论和标记图相似性的Web服务匹配算法

随着各种已有Web服务数量的日趋增加，如何快速发现可用的Web服务变得愈加重要。而随着语义Web服务的不断发展．Web服务发现也从原来的单纯采用关键字或简单分类逐渐转变为更多地使用语义信息。发现的关键在于匹配，而目前一些较成熟的技术，如OWL—S，采用了本体技术对Web服务进行描述．因此，文章提出了一个基于图相似性的本体匹配算法．通过构建Web服务本体并转化成标记图进行匹配．实现语义Web服务描述的匹配，从而准确快速地发现满足特定需求的Web服务。     

一种基于Gr(o)bner基和有向图的几何约束求解方法

方程组规模大和约束一致性分析方法的欠缺影响基于Grobner基的代数法在约束求解中的应用。针对应用有向图进行约束分解产生的强连通分量不饱和问题，提出进行强连通分量内变量匹配，以消去自由实体，从而使强连通分量趋于饱和，方程组得以简化。并以此为基础提出基于Grobner基进行约束一致性判别的方法。以含有冗余约束的三角形为例阐述了约束一致性分析和求解的过程。     

基于指纹结构特征信息匹配的算法

为了克服指纹识别中常见的问题，本文提出一种基于指纹结构特征信息匹配的算法。该算法利用改进的Bresenham算法求得指纹分叉点间连线所穿越的脊线个数和分叉点结构特征信息，得到模板指纹和待识指纹的结构特征信息矢量数组；运用二分图的完美匹配算法，得到矢量数组的匹配度。对该匹配度进行评估，如果高于某一个闽值，则认为指纹匹配成功；否则，则认为不是同一指纹。该算法在实际应用中取得较好的效果。     

基于交叉立方体环连接的Petersen图互联网络研究

交叉立方体是近年来提出的一类互联网络,它有一些比超立方体更好的性质.利用环的简单扩展性,Petersen图的短直径与交叉立方体节点的高可连接性,提出了一种新型互联网络RCP(n)(RingedCrossed cube Petersen),并对其结构特性进行了研究.证明了RCP(n)网络不但具有正则性以及良好的可扩展性,同时还具有比Qn,HP(n),RHP(n)网络更短的直径和更小的构造开销.     

现代艺术语境中的包装设计心理探讨

现代包装设计是把自然美、社会美、艺术美和功能融为一体的有创意的社会形态,它涉及到现代物质生活、文化艺术、科学技术和心理学的众多领域.对现代包装设计范畴内的消费审美、图形创意、色彩应用和民族文化心理诸方面作了较为详尽的探讨与阐述,对包装设计的理论研究和设计实践有一定的参考作用.     

物流配送系统车辆的优化调度算法

综合运用网络图和运筹学理论，分别建立了具有确定开始时间和带有时间窗的非满载物流配送系统车辆的优化调度模型，并给出了一个算例分析，说明其方法简便，实施程序易于处理．     

数据库管理系统中矢量图形管理及数据关联

如何在数据库建立的信息系统中实现矢量图的操作,是目前建立信息系统时所需要解决的难题.笔者提出的采用“WMF”格式矢量图形,利用在数据窗口控件中嵌入包含图形的数据窗口对象,将图形的管理变为数据窗口对象的管理,再通过程序实现矢量图和数据的关联.     

基于图论的马尔可夫链分析研究

利用图论对马尔可夫链进行了分析研究,提出了概率通量概念,它是马尔可夫链稳定状态概率与其一步转移概率之乘积,有流入、流出之分;建立了马尔可夫概率通量平衡方程,即一个马尔可夫链经过一定时间达到平衡状态,其每一状态之流入、流出概率通量相等,并将其与电路中的克希荷夫电流守恒定律(KCL)作了对比,二者在形式上是统一的。利用概率通量平衡方程求解马尔可夫链稳定状态概率具有较好的直观性,易于理解。     

伞的细分图J_n~*的和数

伞是在轮Wn=Cn∨K1的轴K1上悬挂一条边cb(叫柄)所成的图.图G的和数σ(G)就是使得图G∪nK1是和图的非负整数n的最小值.证明了当n 2时,σ(Jn*)2.     

梯子的模和数

1990年,F．Harary提出了和图的概念,模和图和模和数的概念是由Boland、Sutton等人提出来的．模和图是取S(?)Zm＼{0}且所有算术运算均取模m(≥|S|+1)的和图,其中Zm={0,1,2,…,m-1}．一个图G的模和数ρ(G)是使得G∪ρK1是模和图的孤立点数ρ的最小值．本文证明了kL3(k≥2)是模和图,因而也是模整和图．